#! /usr/bin/env python

print '#include <kern/memlayout.h>'
print '#include <kern/mmu.h>'
print '.data'
print '.align PGSIZE'
print '.globl bootpgtbl'
print 'bootpgtbl:'
for i in xrange(1024):
	print '\t.long (0x%08x | PTE_P)' % (i*4096)

print ''
print '.align PGSIZE'
print '.globl bootpgdir'
print 'bootpgdir:'
print '\t.fill PGSIZE, 1, 0'
print ''

